T0

Axioma de separación $T_0$

Un espacio topológico $(X,\mathcal{T})$ se dice que es $T_0$ si para todo par de puntos distintos $x,y\in X$, o bien existe un entorno $U$ de $x$ con $y\notin U$, o bien existe un entorno $V$ de $y$ con $x\notin V$.